Issue1216a.agda:12,1-15
Ill-formed projection pattern ind A
when scope checking the left-hand side ind A (loop B) in the
definition of loop
